Conspiracies are, by definition, a group activity; to conspire requires two or more people working together towards some end, typically in secret. Conspirators have intentions; this is borne out by the fact they want some end and are willing to engage in action to achieve. Of course, what these intentions are can be hard to fathom: historians have written a lot about the intentions of the assassins of Julius Caesar, for example; did they want to restore the Republic; was (...) Marcus Brutus lusting after power; was it an attempt to curb the ambitions of the plebeian class, who saw in Caesar someone not unlike themselves? If intentions can be hard to infer, who is a knowing conspirator and who is a dupe is almost as tricky to parse. Not all purported members of a conspiracy are conspirators, even if they aid and abet the conspiracy. Take, for example, the notorious lax engineer who the conspirators know will sign off on substandard building compliance measures, making it all the easier for them to plant their controlled demolitions. On some account of causal or even moral responsibility the lax engineer would then be responsible for the subsequent event, the one the conspirators desired. Yet it also seems clear that even if she is responsible in some sense for the culminating event of the conspiracy, it is clear that they did not conspire. Or, at least, we would like to think so, although should the authorities find out about the lax engineer’s involvement, they may well be considered part of the conspiracy, especially if the conspirators do their best to hide their own involvement or identities. (shrink)

Fac simile of documents [mostly letters & dedications] from & to FELIX SOMLÓ (1873–1918) (including by Leonidas Pitamic and Adolf Merkl, among others) & JULIUS MOÓR (1888–1950) (including by M. Stockhammer, Wilhelm Sauer, Karl Petraschek, among others), followed by HANS KELSEN’s Selbstbiographie [February 1927] (15–22 w/ letter, 23) & ILMAR TAMMELO’s only surviving copy of his PhD thesis in his own translation on Kritik zu Prof. Kliimann’s normativistischer Unterscheidung des Privat- und des öffentlichen Rechts [Dorpat, 1942] (63–145), both prepared (...) to the latter; w/ Bibl. & Preface [1995/e] x–xv, as well as documentation in Hungarian on how the Editor could save their rich personal professional library of several thounds volumes and making acquired them by the Library of Parliament in Budapest as its special collection in Anhang (147–156); Personenverzeichnis. (shrink)

How should we choose between uncertain prospects in which different possible people might exist at different levels of wellbeing? Alex Voorhoeve and Marc Fleurbaey offer an egalitarian answer to this question. I give some reasons to reject their answer and then sketch an alternative, which I call person-affecting prioritarianism.

Abstract: Artificial Intelligence (AI) has rapidly evolved, offering transformative capabilities for business decision-making. This paper explores how AI can be leveraged to enhance strategic decision-making in business contexts. It examines the integration of AI-driven analytics, predictive modeling, and automation to improve decision accuracy and operational efficiency. By analyzing current applications and case studies, the paper highlights the opportunities AI presents, including enhanced data insights, risk management, and personalized customer experiences. Additionally, it addresses the challenges businesses face in adopting AI, such (...) as data privacy concerns, integration issues, and the need for skilled personnel. The paper concludes with recommendations for effectively implementing AI solutions to maximize their benefits while navigating potential pitfalls. (shrink)

The purpose of this research is to identify the extent of the efficiency of the internal control environment in the Palestinian higher educational institutions in Gaza Strip from the perspective of employees in the Palestinian universities in Gaza Strip, where researchers used in the study five universities. The researchers adopted in their study the descriptive and analytical approach. The research community consists of administrative employees and academic employees with administrative duties. Senior management or the University Council was excluded. The study (...) population compromises of (392) employees. A stratified random sample was chosen and (197) questionnaires were distributed. (160) questionnaires were received back with a return rate of (81.2%).The researchers used a questionnaire to collect that which then was analyzed using (SPSS) to get the results. The research found the following results: the absence of a fundamental difference between the responses of males and females. The lack of significant difference between the responses of the respondents attributed to the variable age. The lack of significant difference between the responses of the respondents attributed to the variable of years of service. And the existence of a fundamental difference between the responses of the respondents attributed to the university variable. The existence of a fundamental difference between the responses of the respondents attributed to the Qualification variable. The existence of a fundamental difference between the responses of the respondents attributed to the administrative level variable. The research found a group of recommendations including: the need to raise awareness of censorship as the basis for the protection of employees in all administrative levels from making mistake.Updating the systems and instructions of control periodically and parallel with the scientific progress and technology.Benefit from regional and international experiences in the application of internal control standards which commensurate with the administrative system of the institution. (shrink)

It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from a (...) related symmetry principle to the failure of probabilistic regularity. We contend that these arguments fail, because they rely on auxiliary assumptions about probability which are inconsistent with symmetry to begin with. We argue, moreover, that symmetry should be rejected in light of this inconsistency, and because it has implausible decision- theoretic implications. -/- The weaker principle of probabilistic invariance says that the probabilistic comparison of any two regions is unchanged by rotations of the sphere. This principle supports a more compelling argument for imprecise probability. We show, however, that invariance is incompatible with mundane judgments about what is probable. Ultimately, we find reason to be suspicious of the application of principles like symmetry and invariance to nonmeasurable regions. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Cardiovascular diseases (CVD) represent a significant cause of morbidity and mortality worldwide, necessitating early detection for effective intervention. This research explores the application of machine learning (ML) algorithms in predicting cardiovascular diseases with enhanced accuracy by integrating optimization techniques. By leveraging data-driven approaches, ML models can analyze vast datasets, identifying patterns and risk factors that traditional methods might overlook. This study focuses on implementing various ML algorithms, such as Decision Trees, Random Forest, Support Vector Machines, and Neural Networks, optimized through (...) techniques like hyperparameter tuning, cross-validation, and feature selection to improve prediction accuracy. (shrink)

In recent years, a number of philosophers and cognitive scientists have advocated for an ‘interactive turn’ in the methodology of social-cognition research: to become more ecologically valid, we must design experiments that are interactive, rather than merely observational. While the practical aim of improving ecological validity in the study of social cognition is laudable, we think that the notion of ‘interaction’ is not suitable for this task: as it is currently deployed in the social cognition literature, this notion leads to (...) serious conceptual and methodological confusion. In this paper, we tackle this confusion on three fronts: 1) we revise the ‘interactionist’ definition of interaction; 2) we demonstrate a number of potential methodological confounds that arise in interactive experimental designs; and 3) we show that ersatz interactivity works just as well as the real thing. We conclude that the notion of ‘interaction’, as it is currently being deployed in this literature, obscures an accurate understanding of human social cognition. (shrink)

As inductive decision-making procedures, the inferences made by machine learning programs are subject to underdetermination by evidence and bear inductive risk. One strategy for overcoming these challenges is guided by a presumption in philosophy of science that inductive inferences can and should be value-free. Applied to machine learning programs, the strategy assumes that the influence of values is restricted to data and decision outcomes, thereby omitting internal value-laden design choice points. In this paper, I apply arguments from feminist philosophy of (...) science to machine learning programs to make the case that the resources required to respond to these inductive challenges render critical aspects of their design constitutively value-laden. I demonstrate these points specifically in the case of recidivism algorithms, arguing that contemporary debates concerning fairness in criminal justice risk-assessment programs are best understood as iterations of traditional arguments from inductive risk and demarcation, and thereby establish the value-laden nature of automated decision-making programs. Finally, in light of these points, I address opportunities for relocating the value-free ideal in machine learning and the limitations that accompany them. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The problem of evil is broadly considered to be one of the greatest intellectual threats to traditional brands of theism. And William Rowe’s 1979 formulation of the problem in “The Problem of Evil and Some Varieties of Atheism” is the most cited formulation in the contemporary philosophical literature. In this paper, we explore how the tools and resources of experimental philosophy might be brought to bear on Rowe’s seminal formulation, arguing that our empirical findings raise significant questions regarding the ultimate (...) success of Rowe’s argument. Such a result would be quite notable within philosophy of religion, since this is considered one of the most formidable arguments against theism. However, further testing is needed before any firm conclusions can be drawn. -/- In section 1, we elucidate Rowe’s formulation of the problem of evil and the intuitions that seem to underwrite it. In section 2, we explore how the tools and resources of experimental philosophy might be brought to bear on Rowe’s formulation, outlining our hypotheses and our methods for testing them before showcasing our results. In section 3, we discuss the philosophical import of our results–arguing that our results, when taken together, pose an initial challenge to Rowe’s seminal argument. (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

The ever-evolving landscape of cyber threats necessitates robust and adaptable intrusion detection systems (IDS) capable of identifying both known and emerging attacks. Traditional IDS models often struggle with detecting novel threats, leading to significant security vulnerabilities. This paper proposes an optimized intrusion detection model using Support Vector Machine (SVM) algorithms tailored to detect known and innovative cyberattacks with high accuracy and efficiency. The model integrates feature selection and dimensionality reduction techniques to enhance detection performance while reducing computational overhead. By leveraging (...) advanced optimization techniques such as Grid Search and Particle Swarm Optimization (PSO), the proposed SVM-based IDS achieves superior classification results. (shrink)

The paper also discusses the technical architecture, including the network protocols, data management strategies, and user interface design considerations necessary to implement such a system. Additionally, it addresses the challenges related to data security, privacy, and system interoperability. Finally, the paper outlines potential future enhancements, such as the incorporation of AI-driven predictive analytics and advanced AR features, to further elevate the smart home experience.

The research outlines a workflow that incorporates data collection, preprocessing, model training, and optimization. Real-world datasets from retail and e-commerce sectors are utilized to validate the proposed methodology, showcasing substantial improvements in model performance. The results indicate that optimized models not only provide better predictions of consumer behaviour but also enhance customer segmentation and targeting strategies. The study concludes with recommendations for future research, including the exploration of hybrid optimization techniques and the application of these methods in real-time analytics.

Phishing attacks remain one of the most prevalent cybersecurity threats, affecting individuals and organizations globally. The rapid evolution of phishing techniques necessitates more sophisticated detection and classification methods. In this paper, we propose a novel approach to phishing content classification using a Genetic Ranking Optimization Algorithm (GROA), combined with dynamic weighting, to improve the accuracy and ranking of phishing versus legitimate content. Our method leverages features such as URL structure, email content analysis, and user behavior patterns to enhance the detection (...) system's decision-making process. (shrink)

Emotion detection and management have emerged as pivotal areas in humancomputer interaction, offering potential applications in healthcare, entertainment, and customer service. This study explores the use of deep learning (DL) models to enhance emotion recognition accuracy and enable effective emotion regulation mechanisms. By leveraging large datasets of facial expressions, voice tones, and physiological signals, we train deep neural networks to recognize a wide array of emotions with high precision. The proposed system integrates emotion recognition with adaptive management strategies that provide (...) personalized feedback and interventions based on detected emotional states. Our approach surpasses traditional machine learning methods, demonstrating superior performance in real-time applications. (shrink)

Many real-world agents recognise that they impose harms by choosing to emit carbon, e.g., by flying. Yet many do so anyway, and then attempt to make things right by offsetting those harms. Such offsetters typically believe that, by offsetting, they change the deontic status of their behaviour, making an otherwise impermissible action permissible. Do they succeed in practice? Some philosophers have argued that they do, since their offsets appear to reverse the adverse effects of their emissions. But we show that (...) they do not. In practice, standard carbon offsetting does not reverse the harms of the original action, nor does it even benefit the same group as was harmed. Standard moral theories hence deny that such offsetting succeeds. Indeed, we show that any moral theory that allows offsetting in this setting faces a dilemma between allowing any wrong to be offset, no matter how grievous, and recognising an implausibly sharp discontinuity between offsettable actions and non-offsettable actions. The most plausible response is to accept that carbon offsetting fails to right our climate wrongs. (shrink)

We have a much better understanding of physics than we do of consciousness. I consider ways in which intrinsically mental aspects of fundamental ontology might induce modifications of the known laws of physics, or whether they could be relevant to accounting for consciousness if no such modifications exist. I suggest that our current knowledge of physics should make us skeptical of hypothetical modifications of the known rules, and that without such modifications it’s hard to imagine how intrinsically mental aspects could (...) play a useful explanatory role. Draft version of a paper submitted to Journal of Consciousness Studies, special issue responding to Philip Goff’s Galileo’s Error: Foundations for a New Science of Consciousness. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

There is no large number of very small bads that is worse than a small number of very large bads – or so, some maintain, it seems plausible to say. In this article, I criticize and reject two recently proposed vindications of the above intuition put forth by Dale Dorsey and Alex Voorhoeve. Dorsey advocates for a threshold marked by the interference with a person's global life projects: any bad that interferes with the satisfaction of a life project is worse (...) than any number of bads that don't interfere with such a life project. Such thresholds, I argue, are broadly implausible. Voorhoeve gives a contractualist account for the irrelevance of minor bads. His account, I argue, does not, among other things, provide the right kind of reason in defence of the above intuition. (shrink)

In today's data-driven world, the efficient management of network resources is crucial for optimizing performance in data centers and large-scale networks. Load balancing is a critical process in ensuring the equitable distribution of data across multiple paths, thereby enhancing network throughput and minimizing latency. This paper presents a comprehensive approach to load balancing using advanced optimization techniques integrated with multipath routing protocols. The primary focus is on dynamically allocating network resources to manage the massive volume of data generated by modern (...) applications. By leveraging algorithms such as Genetic Algorithms (GA) and Particle Swarm Optimization (PSO), the proposed method efficiently distributes data across multiple paths, ensuring balanced network utilization. The combination of these algorithms with multipath routing significantly reduces congestion and improves overall network performance. (shrink)

The genetic modification of pigs as a source of transplantable organs is one of several possible solutions to the chronic organ shortage. This paper describes existing ethical tensions in xenotransplantation (XTx) that argue against pursuing it. Recommendations for lifelong infectious disease surveillance and notification of close contacts of recipients are in tension with the rights of human research subjects. Parental/guardian consent for pediatric xenograft recipients is in tension with a child’s right to an open future. Individual consent to transplant is (...) in tension with public health threats that include zoonotic diseases. XTx amplifies concerns about justice in organ transplantation and could exacerbate existing inequities. The prevention of infectious disease in source animals is in tension with the best practices of animal care and animal welfare, requiring isolation, ethologically inappropriate housing, and invasive reproductive procedures that would severely impact the well-being of intelligent social creatures like pigs. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

The concept of bias is pervasive in both popular discourse and empirical theorizing within philosophy, cognitive science, and artificial intelligence. This widespread application threatens to render the concept too heterogeneous and unwieldy for systematic investigation. This article explores recent philosophical literature attempting to identify a single theoretical category—termed ‘bias’—that could be unified across different contexts. To achieve this aim, the article provides a comprehensive review of theories of bias that are significant in the fields of philosophy of mind, cognitive science, (...) machine learning, and epistemology. It focuses on key examples such as perceptual bias, implicit bias, explicit bias, and algorithmic bias, scrutinizing their similarities and differences. Although these explorations may not conclusively establish the existence of a natural theoretical kind, pursuing the possibility offers valuable insights into how bias is conceptualized and deployed across diverse domains, thus deepening our understanding of its complexities across a wide range of cognitive and computational processes. (shrink)

Empirical philosophers of science aim to base their philosophical theories on observations of scientific practice. But since there is far too much science to observe it all, how can we form and test hypotheses about science that are sufficiently rigorous and broad in scope, while avoiding the pitfalls of bias and subjectivity in our methods? Part of the answer, we claim, lies in the computational tools of the digital humanities, which allow us to analyze large volumes of scientific literature. Here (...) we advocate for the use of these methods by addressing a number of large-scale, justificatory concerns—specifically, about the epistemic value of journal articles as evidence for what happens elsewhere in science, and about the ability of DH tools to extract this evidence. Far from ignoring the gap between scientific literature and the rest of scientific practice, effective use of DH tools requires critical reflection about these relationships. (shrink)

This discussion treats a set of familiar social derelictions as consequences of the perversion of a universalistic moral theory in the service of an ill-considered or insufficiently examined personal agenda.The set includes racism, sexism, anti-Semitism, homophobia, and class elitism, among other similar pathologies, under the general heading of discrimination. The perversion of moral theory from which these derelictions arise, I argue, involves restricting its scope of application to some preferred subgroup of the moral community of human beings. -/- The following (...) analysis of higher-order discrimination suggests that we often select the individuals who constitute such subgroups for reasons that we ourselves would reject on moral grounds were we to examine them carefully, but that we choose instead to put our rational resources in the service of avoiding any such examination at all costs. The implication is that arguments that truncate the scope of moral theory in fact justify bestowing the gift of moral treatment on a select few who deserve it no more than the many from whom we withhold it. Therefore, it would be precipitous to conclude that universalistic moral theory can be legitimately restricted in its practical scope of application in any way at all. (shrink)

In this paper, I argue that joint action permits a certain degree of luck. The cases I have in mind exhibit the following structure: each participant believes that the intended ends of each robustly support the joint action. This belief turns out to be false. Due to lucky circumstances, the discordance in intention never becomes common knowledge. However, common knowledge of the relevant intentions would have undermined the joint action altogether. The analysis of such cases shows the extent to which (...) common knowledge of the participants’ intentions can be harmful to joint action. This extends a recent line of research that has questioned the necessity of common knowledge in joint action. (shrink)

In this paper, we argue that there are reasons to believe that an implicit bias for normalcy influences what are considered medically necessary treatments in psychiatry. First, we outline two prima facie reasons to suspect that this is the case. A bias for ‘the normal’ is already documented in disability studies; it is reasonable to suspect that it affects psychiatry too, since psychiatric patients, like disabled people, are often perceived as ‘weird’ by others. Secondly, psychiatry's explicitly endorsed values of well-being (...) and function are hard to measure directly, which is why we see simpler box-ticking conceptions of recovery used in large research studies. This need not be problematic, but might lead to researchers and clinicians focusing too much on treatments that promote easy-to-measure proxies for recovery, instead of what actually matters to psychiatric patients themselves. Next, we provide examples of treatments and treatment decisions within two areas – self-injury and psychosis – which are hard to explain unless we assume that an implicit and harmful normalcy bias is at work. We conclude with some suggestions for clinicians and future research. (shrink)

This paper explores the complex nature of social biases, arguing for a functional framework that recognizes their unity and diversity. The functional approach posits that all biases share a common functional role in overcoming underdetermination. This framework, I argue, provides a comprehensive understanding of how all psychological biases, including social biases, are unified. I then turn to the question of disunity, demonstrating how psychological social biases differ systematically in the mental states and processes that constitute them. These differences indicate that (...) biases at various levels of the cognitive architecture require distinct treatment along at least two dimensions: epistemic evaluation and mitigation strategies. By examining social biases through this dual lens of unity and diversity, we can more effectively identify when and how to intervene on problematic biases. Ultimately, this approach provides a nuanced understanding of the nature of social bias, offering practical guidance for addressing existing biases and proactively managing emerging biases in both human and artificial minds. (shrink)

Binding specificity is a centrally important concept in molecular biology, yet it has received little philosophical attention. Here I aim to remedy this by analyzing binding specificity as a causal property. I focus on the concept’s role in drug design, where it is highly prized and hence directly studied. From a causal perspective, understanding why binding specificity is a valuable property of drugs contributes to an understanding of causal selection—of how and why scientists distinguish between causes, not just causes from (...) noncauses. In particular, the specificity of drugs is precisely what underwrites their value as experimental interventions on biological processes. (shrink)

Abstract: Ensuring the proactive detection of transaction risks is paramount for financial institutions, particularly in the context of managing credit scores. In this study, we compare different machine learning algorithms to effectively and efficiently. The algorithms used in this study were: MLogisticRegressionCV, ExtraTreeClassifier,LGBMClassifier,AdaBoostClassifier, GradientBoostingClassifier,Perceptron,RandomForestClassifier,KNeighborsClassifier,BaggingClassifier, DecisionTreeClassifier, CalibratedClassifierCV, LabelPropagation, Deep Learning. The dataset was collected from Kaggle depository. It consists of 164 rows and 8 columns. The best classifier with unbalanced dataset was the LogisticRegressionCV. The Accuracy 100.0%, precession 100.0%,Recall100.0% and the F1-score (...) 100.0%. However, the best classifier with balanced dataset was the LogisticRegressionCV. The Accuracy 100.0%, precession 100.0%, Recall 100.0% and the F1-score 100.0%. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Stephen Law developed a challenge to theism, known as the evil-god challenge (Law (2010) ). The evil-god challenge to theism is to explain why the theist’s responses to the problem of evil are any better than the diabolist’s – who believes in a supremely evil god – rejoinders to the problem of good, when all the theist’s ploys (theodicy, sceptical theism, etc.) can be parodied by the diabolist. In the first part of this article, I extend the evil-god challenge by (...) showing that additional theist replies to the problem of evil (more theodicies, the privation view of evil, and others) also may be appropriated, with just as much plausibility, in support of the diabolist position. In the second part of the article, I defend the evil-god challenge against several objections. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

We study the conservation of energy, or lack thereof, when measurements are performed in quantum mechanics. The expectation value of the Hamiltonian of a system changes when wave functions collapse in accordance with the standard textbook treatment of quantum measurement, but one might imagine that the change in energy is compensated by the measuring apparatus or environment. We show that this is not true; the change in the energy of a state after measurement can be arbitrarily large, independent of the (...) physical measurement process. In Everettian quantum theory, while the expectation value of the Hamiltonian is conserved for the wave function of the universe, it is not constant within individual worlds. It should therefore be possible to experimentally measure violations of conservation of energy, and we suggest an experimental protocol for doing so. (shrink)

Psychiatric patients sometimes ask where to draw the line between who they are – their selves – and their mental illness. This problem is referred to as the self-illness ambiguity in the literature; it has been argued that solving said ambiguity is a crucial part of psychiatric treatment. I distinguish a Realist Solution from a Constructivist one. The former requires finding a supposedly pre-existing border, in the psychiatric patient’s mental life, between that which belongs to the self and that which (...) belongs to the mental illness. I argue that no such border exists, and that attempts to find it might even render the felt ambiguity worse. Instead, any solution must be constructivist; the patient (and others) should deliberate and discuss what to identify with or not. I further argue that psychiatric patients need not see their mental illness as wholly distinct from themselves to avoid ‘identifying with their diagnoses' in a problematic way. Finally, we can excuse problematic behaviour by mentally ill people – in fact, we can do so in a more nuanced and constructive way – while rejecting the view that the mental illness is wholly distinct from the patient’s self. (shrink)

In this paper I investigate central temporal and spatial notions in the second part of Plato’s Parmenides and argue that also these notions, and not only the metaphysical ones usually discussed in the literature, can be understood as a response to positions and problems put on the table by Parmenides and Zeno. Of the spatial notions examined in the dialogue, I look at the problems raised for possessing location and shape, while with respect to temporal notions, I focus on the (...) discussion of ‘being in time’ and exaiphnês (the latter notion will be shown to be also an important influence for Aristotle’s Physics). In displaying a paradoxical character and taking up crucial notions from Parmenides, the second part of the Parmenides seems to display some resemblance to Zeno’s paradoxes. I will show, however, that in contrast to Zeno, the second part of Plato’s Parmenides also demonstrates Parmenides’ One to be problematic on its own terms. Furthermore, the dialogue presents not only important problems that these spatial and temporal notions seem to lead us into, but also establishes some positive features necessary to think of time and space. In this way, Plato’s Parmenides can be seen as contributing to the development of temporal and spatial conceptualisations in ancient Greek thought. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

According to the “internal” conception (Quong), political liberalism aims to be publicly justifiable only to people who are reasonable in a special sense specified and advocated by political liberalism itself. One advantage of the internal conception allegedly is that it enables liberalism to avoid perfectionism. The paper takes issue with this view. It argues that once the internal conception is duly pitched at its fundamental, metatheoretical level and placed in its proper discursive context, it emerges that it comes at the (...) cost of public dogma. The paper examines this problem and argues that a plausible response to this problem is to go beyond the internal conception and adopt a more inclusive, dynamic conception. But this calls for a form of perfectionism. Thus, the internal conception of political liberalism, far from showing how liberalism can be had without perfectionism, effectively calls for perfectionism as a remedy for its problems. (shrink)

The natural name theory, recently discussed by Johnson (2018), is proposed as an explanation of pure quotation where the quoted term(s) refers to a linguistic object such as in the sentence ‘In the above, ‘bank’ is ambiguous’. After outlining the theory, I raise a problem for the natural name theory. I argue that positing a resemblance relation between the name and the linguistic object it names does not allow us to rule out cases where the natural name fails to resemble (...) the linguistic object it names. I argue that to avoid this problem, we can combine the natural name theory with a type-realist metaphysics of language, and hold that the name is natural because the name is an instance of the kind that it names. I conclude by reflecting on the importance of the metaphysics of language for questions in the philosophy of language. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Enactivists often defend the following two claims: Successful interactions are not driven and explained by the interactors’ ability to mindread. And the mechanisms enabling 2nd personal social cognition and those enabling 3rd personal social cognition are distinct. In this paper, I argue that both of these claims are false. With regard to I argue that enactivists fail to provide a plausible alternative to traditional accounts of social cognition in interaction. I examine and reject Hanne De Jaegher’s view according to which (...) interaction is “constitutive” for social interaction. Furthermore, I critically discuss Shaun Gallagher’s and Daniel Hutto’s views according to which social interactions are exclusively driven by low level cognitive mechanisms such as “gaze following” and “emotion detection”. Concerning, I rely on data from so called “spontaneous response” false belief tasks to show that interactive and observational paradigms require the same “social-cognitive” interpretation. (shrink)

This paper analyzes the relationship between trust and inquiry to argue for the view that A trusts B to act in some way only if A believes, in a way that she cannot distinguish from knowledge, for reasons of trust, that B will (or has) act(ed) in this way. Call such beliefs ‘outright trusting beliefs’. To support this view, I shall argue, by way of various examples, that the conditions under which inquiry erodes trust are the same as the conditions (...) under which inquiry erodes outright trusting belief. This congruence is easily explained abductively if we take trust to involve such a belief constitutively. While philosophers have sometimes thought that the relationship between trust and inquiry threatens or complicates the doxastic account of trust, the argument presented here suggests, surprisingly, that this relationship supports and even strengthens this account. (shrink)

Jacques Monod (1971) argued that certain molecular processes rely critically on the property of chemical arbitrariness, which he claimed allows those processes to “transcend the laws of chemistry”. It seems natural, as some philosophers have done, to interpret this in modal terms: a biological relationship is chemically arbitrary if it is possible, within the constraints of chemical “law”, for that relationship to have been otherwise than it is. But while modality is certainly important for understanding chemical arbitrariness, understanding its biological (...) role also requires an account of the concrete causal-functional features that distinguish arbitrary from non-arbitrary phenomena. In this paper I elaborate on this under-emphasised aspect by offering a general account of these features: arbitrary relations are instantiated by mechanisms that involve molecular adapters, which causally couple two properties or processes which would otherwise be uncorrelated. Additionally, adapters work by acting as intermediate rather than cooperating causes. (shrink)